Feature interaction detection using backward reasoning with LOTOS
نویسندگان
چکیده
The problem of detecting feature interactions in telephone systems design is addressed. The method proposed involves specification of the features in LOTOS, and uses an analysis technique called backward reasoning. This is is implemented in LOTOS by a combination of backward and forward execution. A tool to help carry out backward execution is presented. A detailed example of the use of the technique is given, involving the three-way-calling and call-waiting features.
منابع مشابه
Feature Interaction Detection using Backward Reasoning with LOTOS1
The problem of detecting feature interactions in telephone systems design is addressed. The method proposed involves specification of the features in LOTOS, and uses an analysis technique called backward reasoning. This is is implemented in LOTOS by a combination of backward and forward execution. A tool to help carry out backward execution is presented. A detailed example of the use of the tec...
متن کاملFeature Interaction Filtering and Detection with Use Case Maps and LOTOS
Telephony systems have evolved from the Plain Old Telephony System providing only the basic functionality of making phone calls, to sophisticated systems in which many features have been introduced, providing network subscribers more control on the call establishment process. However, these facilities are confronted with a major obstacle known as the feature interaction problem. A feature inter...
متن کاملFeature Description and Feature Interaction Analysis with Use Case Maps and LOTOS
A methodology for feature design, specification, and validation is presented. The methodology is based on Use Case Maps for the description of features and on LOTOS with its tools for animation of the features, for feature validation, and for feature interaction detection. It has been developed as a collaborative project between the University of Ottawa and Mitel Corporation, and is being used ...
متن کاملDetecting Feature Interactions with Caesar/aldebaran Detecting Feature Interactions with Ccsar=ald Ebaran
Bouma & Zuidweg (Dutch PTT) formalised a simple example of feature interaction between two telephone services in LOTOS. The interaction takes place between the Abbreviated Dialling and Originating Call Screening service in the IN CS-1 Global Functional Plane. This paper reports on the results that were gained by analysing the example in CCsar=Ald ebaran; which is an advanced LOTOS veriication t...
متن کاملDesign of Telephony Services in Lotos
The purpose of this thesis is to design and validate a telephony system using the formal description language LOTOS and a series of tools provided by the Lotosphere Integrated Tool Environment, LITE. The starting point is a requirements document containing a series of informal specii-cations of services common to modern telephony systems. Special emphasis has been laid on choosing a design that...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994